string name
State[] states
Transition[] transitions